Especificación de Temporalidad en Entornos Automáticos de Producción de Software a Partir de Modelos Conceptuales Objetuales

En el contexto del proyecto IDEAS (Ingeniería de Ambientes de Software) financiado por la CYTED, y en particular en su tarea titulada “Métodos para especificación de transacciones en fase de modelado conceptual en ambientes OO”, el grupo de investigación DSIC-UPV (Valencia, España) trabaja en la definición de un ambiente de producción automática de software basado en modelos conceptuales temporales y orientado a la especificación y diseño de transacciones, a partir de su aproximación metodológica OO-Method. El objetivo de este artículo es presentar como se incluyen adecuadamente en OO-Method las propiedades que permitan capturar la expresividad temporal de modelos conceptuales orientados a objetos, preservando la generación automática del correspondiente producto final software.